Automatic Generation of Test Cases from UML Models
نویسندگان
چکیده
منابع مشابه
Deriving Input Partitions from UML Models for Automatic Test Generation
In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive partitions of input parameter value ranges for boundary testing. We present a test generation algorithm and describe an implementation of this algorithm. Finally, we discuss our approach and compare it to commercial tools.
متن کاملAutomatic Test Case Generation from UML Models and OCL Expressions
In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.
متن کاملAutomatic Test Generation from Coupled UML Models using Input Partitions
In this paper, we deal with model-based automatic test generation. We show how to use coupled models consisting of UML state machines, class diagrams, and OCL expressions to automatically derive partitions of input ranges for boundary testing. We present a test generation algorithm, describe an implementation of this algorithm, and compare this implementation to Rhapsody’s ATG.
متن کاملAutomatic Test Generation from UML Sequence Diagrams
Automatic generation of test cases for functional testing is a challenging task. It involves complex sub tasks such as capturing user scenarios, parsing user scenarios to generate test cases, ensuring test coverage criteria, test script generation from test cases, test execution and report generation. In this paper, a method is proposed to generate test cases after parsing Sequence diagram and ...
متن کاملTest cases generation from UML state diagrams
The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data ow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control ow is identiied by transforming UML state diagrams into extended nite state machines (EFSMs). The hierarchical and conc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CLEI Electronic Journal
سال: 2018
ISSN: 0717-5000
DOI: 10.19153/cleiej.21.1.3